]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 293d169) | patch
workspace: Reset source IDs to zero after removing them
authorMario Sanchez Prada <mario@endlessm.com>
Tue, 27 Jun 2017 09:09:16 +0000 (10:09 +0100)
committerMario Sanchez Prada <mario@endlessm.com>
Tue, 27 Jun 2017 09:10:40 +0000 (10:10 +0100)
commit5221744d1dca6943385377a06fae7dd01639527b
tree0bfb2a7caf3724cb70d72558f9f11db75057a697tree | snapshot
parent293d1697fea16a37e2882251e277ee8bc3355f87commit | diff
workspace: Reset source IDs to zero after removing them

There were some source IDs that were not being reset to zero when
removing the associated sources, resulting on some critical errors
being dumped when _realRecalculateWindowPositions() got called
after that point, via _delayedWindowRepositioning().
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.